Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
251	Applying Logic Synthesis for Speeding Up SAT Niklas Een Alan Mishchenko Niklas Sörensson Add to Reading List Source URL: minisat.se Language: English - Date: 2007-06-05 16:32:06 Answers in Genesis Combinational logic Economy of New York City Mathematics American International Group Theoretical computer science And-inverter graph
252	Applying Logic Synthesis for Speeding Up SAT Niklas Een, Alan Mishchenko, Niklas S¨ orensson Cadence Berkeley Labs, Berkeley, USA. EECS Department, University of California, Berkeley, USA. Chalmers University of Technol Add to Reading List Source URL: minisat.se Language: English - Date: 2007-05-29 19:29:26 Theoretical computer science Conjunctive normal form And-inverter graph Science Mathematics Circuit Canonical form Boolean network Logic Electronic design automation Formal methods
253	IGR Report GR/R16754/01 Behavioural Synthesis of Systems with Heterogeneous Timing (BESST) 1 Background/Context Add to Reading List Source URL: www.staff.ncl.ac.uk Language: English - Date: 2004-12-06 15:04:33 Electronic design automation Digital electronics Hardware description languages Electronic design Asynchronous circuit Logic synthesis Petri net Asynchronous system Verilog Electronic engineering Electrical engineering Electrical circuits
254	FINAL REPORT (GR/S81421/01) Add to Reading List Source URL: www.staff.ncl.ac.uk Language: English - Date: 2007-12-14 08:00:00 Digital electronics Integrated circuits Asynchronous circuit Logic synthesis Logic simulation Side channel attack High-level synthesis CPU design Integrated circuit design Electronic engineering Electronic design automation Electronic design
255	FINAL REPORT (GR/S12036) Synthesis and Testing of Low-Latency Asynchronous Circuits (STELLA) A.Yakovlev, A. Bystrov, A.M.Koelmans, G. Russell and D.J.Kinniment (School of Electrical, Electronic and Computer Engineering, Add to Reading List Source URL: www.staff.ncl.ac.uk Language: English - Date: 2006-06-07 13:42:56 Electrical circuits Electronic design Synchronization Asynchronous circuit Asynchronous system Digital electronics Logic synthesis CPU design VHDL Electronic engineering Electronic design automation Central processing unit
256	Final report on EPSRC grant “Secure Design Flow” (EP/F016786/1) School of Electrical, Electronic and Computer Engineering, Newcastle University Principal Investigator: Professor Alex Yakovlev Investigators: Dr Alex B Add to Reading List Source URL: async.org.uk Language: English - Date: 2011-06-13 08:49:18 Design Cryptography Non-standard positional numeral systems Mixed radix Computer arithmetic Logic synthesis Logic gate Advanced Encryption Standard Digital electronics Electronic engineering Electronic design Electronic design automation
257	Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-12-12 22:22:13 Propositional calculus Logic programming Logic in computer science Boolean algebra Automated theorem proving Constraint logic programming Resolution Horn clause Boolean satisfiability problem Logic Theoretical computer science Mathematics
258	International Institute of Information Technology, Pune[removed]Academic Calendar for Second Year Engineering Semester - I (AY[removed]Date of Commencement of Teaching June 23, 2014 Date Add to Reading List Source URL: www.isquareit.edu.in Language: English - Date: 2014-06-23 06:52:34 Electronics Integrated circuit design Logic synthesis Discrete mathematics Design and Technology Electronic engineering Electronic design Design
259	A FRAMEWORK FOR THE DESIGN OF HIGH SPEED FIR FILTERS ON FPGAS Satish Mohanakrishnan and Joseph B. Evans Telecommunications & Information Sciences Laboratory Department of Electrical Engineering & Computer Science Univers Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2005-07-19 15:28:37 Digital signal processing Field-programmable gate array Hardware description languages Electronic design automation Xilinx VHDL Application-specific integrated circuit Finite impulse response Logic synthesis Electronic engineering Electronics Digital electronics
260	REPRESENTATIONS FOR REASONING ABOUT DIGITAL CIRCUITS Tom M. Mitchell. Lou Steinberg. Reid G. Smith, Pet Schooley, Howard J a c o b s " , Van Kelly Department of Computer Science Add to Reading List Source URL: ijcai.org Language: English* - Date: 2008-09-30 05:18:50 Digital electronics Logic synthesis Abstraction Flip-flop Circuit Logic simulation Data type Electronic engineering Electronic design automation Electronic design

UPDATE